Issue636.agda:16,1-17,26
Termination checking failed for the following functions:
  not-d
Problematic calls:
  not-d (♭ x)
    (at Issue636.agda:17,15-20)
